(assert (exists ((a Real)) (= 1.0 0.0)))
(check-sat)
